This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...